Canonical Form-Based Boolean Matching and Symmetry Detection in Logic Synthesis and Verification

An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for computing the proposed canonical form is provided. The efficiency of the algorithm allows it to be applicable to large complex Boolean functions with no limitation on the number of input variables as apposed to previous approaches, which are not capable of handling functions with more than seven inputs. Generalized signatures are used to define and compute the canonical form while simple symmetries of variables is used to minimize the computational complexity of the algorithm. All other symmetry relations are resulted as a bi-product of the canonical form computation. Experimental results demonstrate the efficiency and applicability of the proposed canonical form.